PSpace(Space& s)
Used to downcast a general space to an affine space. Only succeeds if the general space is holding a projective space.
PSpace(char* namein, int n)
Builds a projective space of dimension n, with debug name in buffer namein. The space creates its own copy of the name.
PSpace(char* namein, VSpace& v, ASpace& a)
Builds a projective space, linking it to the spaces v and a to create the core of a six-space set. The space creates its own copy of the debug name.
PSpace(char* namein, Space& v)
Builds a projective space, linking it to the space v, which is either a vector or affine space. The space creates its own copy of the debug name.